Proof of the Formula for the Derivative of a^x